#ifndef _SCHEDULER_H_
#define _SCHEDULER_H_

#include <arch/types.h>
#include <ipc/Spinlock.h>

class Scheduler {
public:
	virtual void Schedule() = 0;

	Spinlock Lock;
};

#endif
